翻訳と辞書 |
Idealized CSP A programming language combining simply typed, call-by-name procedures with asynchronous communicating processes, assuming fair parallel execution. Idealized CSP generalises Anthony Hoare's original CSP and Kahn's networks of deterministic processes, and is closely related to {Parallel Algol} by Stephen Brookes of CMU. Procedures permit the encapsulation of common protocols and parallel programming idioms. {Local variables} and local channel declarations provide a way to delimit the scope of interference between parallel agents, and allow a form of concurrent object-oriented programming. [Was this language also designed by Brookes?] (1997-09-26)
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|